ABS: null(as)

STM: null wf

STM: null wf2

STM: assert of null

ABS: as @ bs

STM: append wf

STM: comb for append wf

STM: append assoc

STM: append back nil

ABS: ||as||

STM: length wf1

STM: comb for length wf1

STM: length wf2

STM: comb for length wf2

STM: length cons

STM: length nil

STM: non neg length

STM: pos length

STM: length append

STM: length of not nil

STM: length of null list

ABS: map(f;as)

STM: map wf

STM: comb for map wf

STM: map length

STM: map map

STM: map append

STM: map id

ABS: hd(l)

ABS: tl(l)

STM: hd wf

STM: tl wf

STM: length tl

ABS: nth_tl(n;as)

STM: nth tl wf

STM: length nth tl

ABS: rev(as)

STM: reverse wf

STM: reverse append

ABS: firstn(n;as)

STM: firstn wf

STM: comb for firstn wf

STM: length firstn

ABS: as[m..n]

STM: segment wf

STM: comb for segment wf

STM: length segment

STM: eq cons imp eq tls

STM: eq cons imp eq hds

ABS: l[i]

STM: select wf

STM: comb for select wf

STM: select cons hd

STM: select cons tl

STM: select append back

STM: select append front

STM: select append

STM: select tl

STM: select nth tl

STM: select firstn

ABS: as\[i]

STM: reject wf

STM: reject cons hd

STM: reject cons tl

STM: map select

ABS: reduce(f;k;as)

STM: reduce wf

ABS: For{T,op,id} x  as. f(x)

STM: for wf

ABS: mapcons(f;as)

STM: mapcons wf

ABS: ForHdTl{A,f,k} h::t  as. g(h;t)

STM: for hdtl wf

ABS: f{m..n}

STM: listify wf

STM: comb for listify wf

STM: listify length

STM: listify select id

STM: select listify id

ABS: A List(n)

STM: list n wf

STM: list n properties

ABS: mapc(f)

STM: mapc wf

STM: list append ind